Complexity, Algorithms, Programs, Systems: The Shifting Focus
نویسندگان
چکیده
منابع مشابه
Hybrid Probabilistic Programs: Algorithms and Complexity
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the de pendencies between events being described in the program. In this paper, we classify HPPs into three classes called H P P1, H P P2 and H P Pr, r 2: 3. For these classes, we pro vide three types of results for HPPs. First, we develop algorithms to compute the set of al...
متن کاملShifting the Focus From What to Why
After 4 decades of research on infant behavior and development, the time has come to shift our focus from What infants do to Why they do it when they do-to move beyond the single-minded search for mechanism and to consider the larger question of funcrion. Infants ate not merely incomplete adults who simply get better with age, but they are different organisms altogether, perfectly adapted at ev...
متن کاملShifting the Focus in Mobile Maps
Mobile maps show the current position of a map reader in their center. We will question this convention, which is in our opinion a relict from paper maps. We observe that, in contrast to paper maps, mobile maps have a narrower purpose and mobile devices have a different affordance and handling. This observation encourages thinking of a map design that allows an embodied experience of map readin...
متن کاملThe general theory of phase shifting algorithms.
We have been reporting several new techniques of analysis and synthesis applied to Phase Shifting Interferometry (PSI). These works are based upon the Frequency Transfer Function (FTF) and how this new tool of analysis and synthesis in PSI may be applied to obtain very general results, among them; rotational invariant spectrum; complex PSI algorithms synthesis based on simpler first and second ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1994
ISSN: 0747-7171
DOI: 10.1006/jsco.1994.1020